Hybrid behaviour of Markov population models
نویسندگان
چکیده
منابع مشابه
Hybrid Behaviour of Markov Population Models
We investigate the behaviour of population models written in Stochastic Concurrent ConstraintProgramming (sCCP), a stochastic extension of Concurrent Constraint Programming. In particular,we focus on models from which we can define a semantics of sCCP both in terms of ContinuousTime Markov Chains (CTMC) and in terms of Stochastic Hybrid Systems, in which some populationsare appr...
متن کاملExtracting dynamical behaviour via Markov models
Ulam's method of discretising the dynamics of a smooth deterministic system to produce a nite state Markov chain approximation has been in use for over two decades. We review what can be done with the constructions, in the sense of how various dy-namical indicators and behaviour can be numerically extracted.
متن کاملLearning Structured Behaviour Models Using Variable Length Markov Models
In recent years there has been an increased interest in the modelling and recognition of human activities involving highly structured and semantically rich behaviour such as dance, aerobics, and sign language. A novel approach is presented for automatically acquiring stochastic models of the high-level structure of an activity without the assumption of any prior knowledge. The process involves ...
متن کاملMean-field analysis of hybrid Markov population models with time-inhomogeneous rates
We consider a hybrid extension of Population Continuous Time Markov Chains (PCTMC) – a class of Markov processes capturing interactions between large groups of identically behaved agents. We augment the discrete state space of a PCTMC with continuous variables that evolve as integrals over the population vector and that can simultaneously provide feedback to the rates of transitions in the PCTM...
متن کاملModel Checking CSL for Markov Population Models
Markov population models (MPMs) are a widely used modelling formalism in the area of computational biology and related areas. The semantics of a MPM is an infinitestate continuous-time Markov chain. In this paper, we use the established continuous stochastic logic (CSL) to express properties of Markov population models. This allows us to express important measures of biological systems, such as...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2016
ISSN: 0890-5401
DOI: 10.1016/j.ic.2015.12.001